Abstract type - PDFSEARCH.IO - Document Search Engine

Abstract type
Results: 1261

#	Item
121	On a nonlinear abstract Volterra equation Version February 13, 2015 Etienne Emmrich and Guy Vallet Abstract. Existence of solutions is shown for equations of the type Av + B(KGv, v) = f , where A, B, G are possibly nonli Add to Reading List Source URL: www.math.tu-berlin.de Language: English - Date: 2015-02-18 06:04:26 Functional analysis Convolution Feature detection Fourier analysis Image processing
122	Board Game Roll the dice and move your chip according to the number on the dice. The monkey loves you. The croc hates you. How to play the this board game. 1. Type in the problems you want to practice into the spaces pro Add to Reading List Source URL: mathgames4children.com Language: English - Date: 2010-04-02 00:52:16 Cross and circle games Multiplayer games Abstract strategy games Tabletop games Sho Dice Sequence Monopoly Ludo Games related to Yahtzee
123	Advances in Programming Languages APL7: Haskell, Types and Classes Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-31 23:15:57 Type theory Functional languages Object-oriented programming languages Type systems Data types Haskell Structural type system Duck typing D Type signature OCaml Abstract type
124	Metaprogramming with Traits John Reppy and Aaron Turon University of Chicago {jhr,adrassi}@cs.uchicago.edu Abstract. In many domains, classes have highly regular internal structure. For example, so-called business objec Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-01-10 16:47:20 C++ Method Object-oriented programming languages Java Type theory Trait Multiple inheritance Mixin Mutator method Java syntax Inheritance Parameter
125	Liouville type properties for embedded minimal surfaces William H. Meeks III∗, Joaqu´ın P´erez†, Antonio Ros March 9, 2006 Abstract Add to Reading List Source URL: www.ugr.es Language: English - Date: 2006-04-18 12:00:46 Riemann surfaces Differential geometry Differential geometry of surfaces Bernhard Riemann Differential topology Minimal surface Harmonic function Uniformization theorem Gaussian curvature Ergodic theory Sigma-algebra
126	Author Guidelines for 8.5 x 11-inch Proceedings Manuscripts Author(s) Name(s) Author Affiliation(s) E-mail Abstract Add to Reading List Source URL: www.eguk.org.uk Language: English - Date: 2012-04-14 07:31:29 Typography Typographic alignment Margin Screenplay Italic type Capitalization Font Book Helvetica Serif Sans-serif Times New Roman
127	Board Game Roll the dice and move your chip according to the number on the dice. The monkey loves you. The croc hates you. How to play the this board game. 1. Type in the problems you want to practice into the spaces pro Add to Reading List Source URL: mathgames4children.com Language: English - Date: 2010-04-02 00:52:41 Cross and circle games Tabletop games Multiplayer games Abstract strategy games Sho Dice Monopoly Sequence Ludo Games related to Yahtzee
128	Self-applicable Partial Evaluation for Pure Lambda Calculus Torben Æ. Mogensen DIKU, University of Copenhagen, Denmark Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:54 Lambda calculus Combinatory logic Church encoding Fixed-point combinator Anonymous function Higher-order abstract syntax Type system Unification De Bruijn index Lambda calculus definition
129	Name and SURNAME1 Name and SURNAME2 TITLE – BOLD, TO THE LEFT MARGIN, CAPS 15 POINTS, SINGLE SPACE Abstract (in the language of the article – lower case letters 9 points, the indentation of the whole left side 2 cm Add to Reading List Source URL: www.oficyna.portal.prz.edu.pl Language: English - Date: 2013-12-16 02:24:32 Punctuation HTML HTML element At sign Array data type ASCII Color
130	Open GADTs and Declaration-site Variance: A Problem Statement Paolo G. Giarrusso Philipps University Marburg ABSTRACT Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-03-18 17:06:31 Type theory Polymorphism Data types Object-oriented programming Dependently typed programming Covariance and contravariance Higher-order abstract syntax Lambda calculus Const Subtyping Scala Generalized algebraic data type

UPDATE